An Empirical Study Using Z and UML for the Requirements Specification of an Information System
نویسنده
چکیده
This article describes an empirical study where use cases and class diagrams (semi-formal modeling) and Z language (formal modeling) were used to make a requirements specification of an information system. The study presents some benefits of formal modeling for the quality improvement during the requirements specification of an information system. The empirical study was developed based on a real information system, which was a subset of a health plan information system. During the experiment we recognize the importance of a clear correspondence between these two modeling approaches (formal and semi-formal). This correspondence is discussed along the paper and the difficulties to get it are commented.
منابع مشابه
An automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملFrom UML Specification into Implementation using Object Mapping
In information systems, a system is analyzed using a modeling tool. Analysis is an important phase prior to implementation in order to obtain the correct requirements of the system. During the requirements phase, the software requirements specification (SRS) is used to specify the system requirements. Then, this requirements specification is used to implement the system. The requirements specif...
متن کاملPresentation Of Pattern Management Information System Requirements Analysis For Recruiting Sport Vollunteers
Volunteer Movement and deliver services to society is phenomenons of coeval universe.The aim of this research work was to present a pattern for Iran`s sports volunteer absorbance management information system requirement analysis. This investigation was of descriptive-analytic sort and in regard for practical goal, it was type of (UML) methodology and it used object-oriented design model (RUP)...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA semantic-aware role-based access control model for pervasive computing environments
Access control in open and dynamic Pervasive Computing Environments (PCEs) is a very complex mechanism and encompasses various new requirements. In fact, in such environments, context information should be used in access control decision process; however, it is not applicable to gather all context information completely and accurately all the time. Thus, a suitable access control model for PCEs...
متن کامل